姚期智杨植麟首次联手给 AI 出的博士级题目，Kimi 多画出了「关键一条边」
姚期智杨植麟首次联手给 AI 出的博士级题目，Kimi 多画出了「关键一条边」Kimi 刷新 629 条边图论参考纪录，只多加了1条边，为什么数学界等了这么多年？
来自主题: AI技术研报
7878 点击 2026-11-11 10:26
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
Kimi 刷新 629 条边图论参考纪录，只多加了1条边，为什么数学界等了这么多年？
Thinking Machines Lab发布Inkling 2 Small，并正以400亿美元投前估值筹集50亿美元；其训练数据部分采样自月之暗面Kimi K3，AA称权重放出后将成为中国以外得分最高的开放权重模型。
Kimi Hosted Agents 正式发布，以 Harness as a Service 提供7×24小时托管环境，支持长程任务、多智能体协作、安全控制、审计及140+ Skills、30+插件和8个金融Agent模板。
Kimi 发布游戏开发与创意工作解决方案，基于 K3.1 Pro，通过 Kimi Code 和 Kimi Work 接入多款专业工具，覆盖研发、美术、发行及运营，可将可试玩原型缩短至1至2天。
月之暗面发布2.8万亿参数后训练模型Kimi K3.1 Pro，其综合智能指数领先DeepSeek V4.1 Flash-1017和MiniMax M3.1 Flash，但API费用最高，并正研发Flash版本以平衡能力、成本与商业化。
Kimi K3.1 Pro 正式发布，具备3万亿级参数和100万 token 上下文，官方评测显示其在代码、Agent及金融等任务取得多项领先，完整权重将于11月4日前开放。
月之暗面正式推出 Kimi K3.1 Pro，认领匿名模型 Kibitz，以3万亿参数和100万token上下文强化Agent、前端与3D创作，并同步上线高速版，完整权重将于11月4日前发布。
大的要来了，而且一下来了俩。
好嘛，咱姐夫（Jeff Dean）投资的AI初创公司hillclimb，搞的RSI新基准终于出成绩了！
浪潮信息在AICC 2026发布搭载128芯本土AI芯片的元脑SD200 Ultra超节点AI服务器，通过超级算子融合技术将2.8万亿参数Kimi K3的Token生成时延降至5.85毫秒，与海外Inferact以"巨内核"路线共同打响万亿参数模型推理效率战。